(set-logic ALL)
(set-info :status sat)
(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun f () Real)
(declare-fun g () Real)
(assert (= (* c f c) a (- d f)))
(assert (= d (/ a f)))
(assert (distinct f 0.0 (/ b g) g))
(check-sat)
